#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
	int n=0,time=0;
	scanf("%d", &n);
	time = n / 12 * 4 + 2;
	printf("%d", time);

	return 0;
}